mappend :: m -> (m -> m)